QCEC: A JKQ tool for quantum circuit equivalence checking

Equivalence Checking of Quantum Protocols

Quantum Information Processing (QIP) is an emerging area at the intersection of physics and computer science. It aims to establish the principles of communication and computation for systems based on the theory of quantum mechanics. Interesting QIP protocols such as quantum error correction, teleportation, and blind quantum computation have already been realised in the laboratory and are now in...

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Equivalence Checking in Multi-level Quantum Systems

Motivated by its superiority compared to conventional solutions in many applications, quantum computation has intensely been investigated from a theoretical, physical, and design perspective. While these investigations mainly focused on two-level quantum systems, recently also advantages and benefits of higher-level quantum systems became evident. Though this led to several approaches for the r...

On the Quantum Circuit Complexity Equivalence

Nielsen [3] recently asked the following question: ”What is the minimal size quantum circuit required to exactly implement a specified n-qubit unitary operation U , without the use of ancilla qubits?” Nielsen was able to prove that a lower bound on the minimal size circuit is provided by the length of the geodesic between the identity I and U , where the length is defined by a suitable Finsler ...

Computational equivalence between quantum Turing machines and quantum circuit families